void test_start(char *s);
void test_failed(char *s);
void test_ok(void);
void test_stats(int *a, int *b);
